OBJECTIVE CASE CHECKING AND PARAMETRIC VARIATION
نویسندگان
چکیده
منابع مشابه
Gradience and parametric variation
The paper assesses the consequences of gradience for approaches to variation based on the Principles and Parameters model. In particular, the discussion focuses on recent crosslinguistic results obtained through magnitude estimation, a methodology particularly suited to the study of gradient acceptability/grammaticality. Results on superiority and relativised minimality effects in questions are...
متن کاملDistributed Parametric and Statistical Model Checking
Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if they satisfy some given property. In this paper we show that SMC is easily parallelizable on a master/slaves architecture by introducing a series of algorithms that scale almost linearly with respect to the number of sl...
متن کاملParametric Bounded Model Checking for UML
The paper presents a SAT-based approach to Bounded Model Checking of systems specified in UML. Contrary to other UML verification tools we do not exploit any of the existing model checkers as we do not translate UML specifications into their input formalisms. Instead we directly encode an unfolding of a UML system as a propositional formula. Then, the conjunction of this formula and a propositi...
متن کاملConcept Checking: Binding Parametric Polymorphism in C++
Generic programming in C++ is characterized by the use of template parameters to represent abstract data types (or “concepts”). However, the C++ language itself does not provide a mechanism for explicitly handling concepts. As a result, it can be difficult to insure that a concrete type meets the requirements of the concept it is supposed to represent. Error messages resulting from incorrect us...
متن کاملOn Checking Linear Dependence of Parametric Vectors
Checking linear dependence of a finite number of vectors is a basic problem in linear algebra. We aim to extend the theory of linear dependence to parametric vectors where the entries are polynomials. This dependency depends on the specifications of the parameters or values of the variables in the polynomials. We propose a new method to check if parametric vectors are linearly dependent. Furthe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ENGLISH LINGUISTICS
سال: 1997
ISSN: 0918-3701,1884-3107
DOI: 10.9793/elsj1984.14.129